翻訳と辞書
Words near each other
・ Daily Jolt
・ Daiki Wakamatsu
・ Daiki Watari
・ Daiki Yamashita
・ Daiki Yoshikawa
・ Daikin
・ Daikin Orchid Ladies Golf Tournament
・ Daikirin Takayoshi
・ Daikkirai Demo Arigato
・ Daikoku Danji Japan First Live 2012
・ Daikokuchō Station
・ Daikokuten
・ Daikokuya Kōdayū
・ Daikon
・ Daikon (disambiguation)
Daikon (system)
・ Daikon Island
・ Daikundi (Hazara tribe)
・ Daikyo
・ Daikyo Dolphins
・ Dail Glaswellt
・ Dail Jones
・ Dail Mòr
・ Daila Tais-Borg
・ Dailamites
・ Dailan Evans
・ Dailekh
・ Dailekh District
・ Dailene Sivertson
・ Dailenys Alcántara


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Daikon (system) : ウィキペディア英語版
Daikon (system)

Daikon is a computer program that detects likely invariants of programs.〔(An overview of JML tools and applications )〕 An invariant is a condition that always holds true at certain points in the program. It is mainly used for debugging programs in late development, or checking modifications to existing code.
== Properties ==

Daikon can detect properties in C, C++, Java, Perl, and IOA programs, as well as spreadsheet files or other data sources. Daikon is easy to extend and is free software.〔() Daikon license〕

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Daikon (system)」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.